A tutorial introduction to Maple
نویسندگان
چکیده
منابع مشابه
A Tutorial Introduction to Maple
The Maple computer algebra system is described . Brief sample sessions show the user syntax and the mathematical power of the system for performing arithmetic, factoring, simplification, differentiation, integration, summation, solving algebraic equations, solving differential equations, series expansions, and matrix manipulations . Time and space statistics for each sample session show that th...
متن کاملA Tutorial Introduction to STAPLE
Introduction STAPLE is an expectation-maximization algorithm for Simultaneous Truth And Performance Level Estimation. The algorithm considers a collection of segmentations and computes a probabilistic estimate of the hidden, implicit, true segmentation and a measure of the performance level achieved by each segmentation. The source of each segmentation in the collection may be an appropriately ...
متن کاملA Tutorial Introduction to Alkemy
This paper serves as a tutorial introduction to Alkemy, a decision-tree learner designed to induce comprehensible theories from structured data. A short and clear account of the motivations behind the development of the system is in [FGCL98]. [BGCL01] gives a more detailed discussion of the relevant knowledge representation issues and presents the main algorithms. A rigorous treatment of the lo...
متن کاملA Tutorial Introduction to Decision Theory
Decision theory provides a rational framework for choosing between alternative courses of action when the consequences resulting from this choice are imperfectly known. Two streams of thought serve as the foundations: utility theory and the inductive use of probability theory. The intent of this paper is to provide a tutorial introduction to this increasingly important area of systems science. ...
متن کاملA Tutorial Introduction to Formal Methods
This paper gives details of a small example to illustrate the use of Formal Methods of system and software development, including modelling, specification, validation and design verification. The example concerns part of a simple hypothetical Air Traffic Control system. Z notation and the Cogito methodology are used. A Suggested Reading List is included for readers wishing to know more about th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Computation
سال: 1986
ISSN: 0747-7171
DOI: 10.1016/s0747-7171(86)80021-9